ICAP6000 (this is a MIQP) go scip MPS